|
M
macro, 108, 109, 110, 111, 112, 117, 122
macroexpansion, 108
Maher, 32
Marseille Prolog, 345
McCarthy, 7, 8, 10, 18, 493
McDermott, 141, 487, 493
memoisation, 48
mentioned and not used, 246
metaprogram, 61, 110, 138
metaprogramming, 112, 122
metavariables, 218, 219, 269, 270
MGU, 350, 424
Milner, 11, 213, 490
minimal logic, 221
Miranda, 1, 18, 60, 497
ML, viii, 1, 11, 18, 35, 54, 61, 71, 155, 156, 204, 206, 213, 214, 249, 263, 264, 277, 278, 279, 280, 281, 283, 458, 481, 494, 497
mode declaration, 250, 261, 265, 362, 377, 388, 390, 392, 394, 405
model, 4, 7, 11, 12, 13, 14, 15, 17, 22, 39, 77, 84, 93, 111, 152, 154, 165, 305, 306, 307, 308, 311, 312, 314, 315, 316, 349, 353, 363, 384, 479, 483
model checker, 307, 314, 315
model theory, 305
modus ponens, 219, 269, 271, 272
monadic, 205
monomorphic, 206, 213
Montague grammar, 288, 291
most general type, 206, 212
mutable, 89
mutual recursion, 40, 58, 153, 447
|
|
